Nuprl Definition : or
11,40
postcript
pdf
P
Q
==
P
+
Q
latex
Definitions
P
Q
origin
Q == P + Q Q == P + Q Q